منابع مشابه
Coherence for monoidal endofunctors
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the p...
متن کاملMonads Need Not Be Endofunctors
We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed λ-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions...
متن کاملEndofunctors modelling higher-order behaviours
In this paper we show how the abstract behaviours of higherorder systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging peculiarity to be circularly defined with their own final coalgebra. Our main contribution is a general construction for defining these functors, solving this circularity which is the essence of higher-order behaviours...
متن کاملOn Iteratable Endofunctors
Completely iterative monads of Elgot et al. are the monads such that every guarded iterative equation has a unique solution. Free completely iterative monads are known to exist on every iteratable endofunctor H, i. e., one with final coalgebras of all functors H( ) + X. We show that conversely, if H generates a free completely iterative monad, then it is iteratable.
متن کاملTerminal coalgebras for endofunctors on sets
This paper shows that the main results of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets do not, for the main part of the results require looking at functors on the category of (possibly proper) classes. We will see here that the main results are valid for sets up to some regular cardinal. Should that cardinal be inaccessible, then Aczel and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra & Number Theory
سال: 2019
ISSN: 1944-7833,1937-0652
DOI: 10.2140/ant.2019.13.2005